$\forall$${\it es}$:ES, $T$:Type, $I$:MaInterface($T$), $i$:Id.
\\[0ex]ma{-}interface{-}consistent2(${\it es}$;$I$)
\\[0ex]$\Rightarrow$ ($i$ $\in$ ma{-}interface{-}locs($I$))
\\[0ex]$\Rightarrow$ ($\forall$$e$:E. ($\uparrow$($e$ $\in_{b}$ [[$I$$\mid$$i$]])) $\Rightarrow$ (loc($e$) = $i$))